Proof-carrying code - PDFSEARCH.IO - Document Search Engine

Proof-carrying code
Results: 20

#	Item
11	Published in Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004, pages 236–250. By Reason and Authority: A System for Authorization of Proof-Carrying Code Nathan Whitehead Department of Computer Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:44 Model theory Formal methods Propositional calculus Predicate logic Function Lambda calculus Forcing Well-formed formula Atomic formula Logic Mathematical logic Mathematics
12	Published in Proc. of Conference on Automated Deduction, 2002, pp. 47–62. A Gradual Approach to a More Trustworthy, yet Scalable, Proof-Carrying Code Robert R. Schneck1 and George C. Necula2,? 1 Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:42 Deduction Formal methods Model theory Proof-carrying code Theorem Type safety IP Soundness Logic Mathematics Proof theory
13	George Necula Electrical Engineering and Computer Science University of California, Berkeley 783 Soda Hall Berkeley, CA 94720 Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2014-01-20 12:46:10 Association for Computing Machinery George Necula Proof-carrying code SIGPLAN Principles of Programming Languages Programming Language Design and Implementation Symposium on Principles and Practice of Parallel Programming ACM SIGACT ECL programming language Computing Computer science Programming language theory
14	George Necula Electrical Engineering and Computer Science University of California, Berkeley 783 Soda Hall Berkeley, CA 94720 Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2014-01-20 12:46:10 Association for Computing Machinery George Necula Proof-carrying code SIGPLAN Principles of Programming Languages Programming Language Design and Implementation Symposium on Principles and Practice of Parallel Programming ACM SIGACT ECL programming language Computing Computer science Programming language theory
15	Jitk: A Trustworthy In-Kernel Interpreter Infrastructure Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock MIT CSAIL and University of Washington Abstract Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2015-01-09 21:48:48 Virtual machines Programming language implementation Linux Linux kernel Kernel Just-in-time compilation Interpreter Proof-carrying code JIT spraying System software Software Computer architecture
16	Trust in Formal Methods Toolchains Arie Gurfinkel Software Engineering Institute Carnegie Mellon University Add to Reading List Source URL: arieg.bitbucket.org Language: English - Date: 2014-11-13 21:39:07 Software engineering Formal verification Model checking Carnegie Mellon University Software Engineering Institute Automated proof checking Proof-carrying code Formal methods Computer science Software development
17	HSARPA Cyber Security R&D Add to Reading List Source URL: www.dhs.gov Language: English - Date: 2013-01-02 14:25:44 Programming language theory Laboratories Logic in computer science HRL Procedural programming languages HR Proof-carrying code C Formal verification Software engineering Computing Formal methods
18	May[removed]Peter Lee Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-05-26 23:46:38 Association for Computing Machinery Year of birth missing Procedural programming languages Programming Language Design and Implementation SIGPLAN George Necula Proof-carrying code Principles of Programming Languages Continuation Computing Computer science Software engineering
19	PDF Document Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:28 Applied mathematics Logic in computer science Dependently typed programming Type theory Automated theorem proving Proof-carrying code Formal verification Automated proof checking Frank Pfenning Formal methods Theoretical computer science Mathematics

UPDATE